This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
WeiterlesenThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Weiterlesen